|
|
Sestavení a testování zařízení pro výrobu ozonované vody a její aplikace na čištění křemíkových desek
Ředina, Dalibor ; Mikulík, Petr (oponent) ; Voborný, Stanislav (vedoucí práce)
Deionizovaná ozonovaná voda neboli tzv. DIO3 se zdá být vhodnou alternativou pro použití v polovodičovém průmyslu. Užití DIO3 při odstraňování fotorezistu z křemíkových desek je rychlejší, levnější a šetrnější k životnímu prostředí oproti klasické technologii založené na použití směsi kyseliny sírové a peroxidu vodíku neboli SPM. Diplomová práce se zabývá prvně rešerší na téma ozon a ozonované vody a jejich možné aplikace. V dalších částech jsou popsány dva prototypy generátorů DIO3, jež byly sestaveny ve společnosti CSVG a.s. Testování parametrů generátorů na koncentraci rozpuštěného ozonu je taktéž součástí této práce. Dále jsou v práci uvedeny i testy, které byly provedeny ve společnosti ON Semiconductor v Rožnově pod Radhoštěm. V testech je porovnávána účinnost čištění pomocí klasické technologie využívající SPM a pomocí DIO3.
|
|
|
Zpětný překlad vysokoúrovňových konstrukcí jazyka C++
Jakub, Dušan ; Křivka, Zbyněk (oponent) ; Matula, Peter (vedoucí práce)
Práce se zabývá dekompilací konstrukcí vysokoúrovňového objektového jazyka C++ ze strojového kódu. Je definován pojem zpětného překladu a popsány existující zpětné překladače s~důrazem na dekompilaci C++. Dále je představen dekompilátor AVG, v jehož rámci tato práce vznikla. Je analyzován jazyk C++, a to jak na úrovni konstrukcí jazyka, tak na úrovni strojového kódu, a jsou představeny existující metody jeho dekompilace. Na jejich základě je navržen postup dekompilace tříd, jejich hierarchie, konstruktorů, destruktorů a virtuálních metod. Je detekováno i volání virtuálních metod. Navržený postup je implementován, podroben experimentům a zhodnocen. V závěru je nastíněno několik návrhů na další vývoj.
|
|
|
Sestavení a testování zařízení pro výrobu ozonované vody a její aplikace na čištění křemíkových desek
Ředina, Dalibor ; Mikulík, Petr (oponent) ; Voborný, Stanislav (vedoucí práce)
Deionizovaná ozonovaná voda neboli tzv. DIO3 se zdá být vhodnou alternativou pro použití v polovodičovém průmyslu. Užití DIO3 při odstraňování fotorezistu z křemíkových desek je rychlejší, levnější a šetrnější k životnímu prostředí oproti klasické technologii založené na použití směsi kyseliny sírové a peroxidu vodíku neboli SPM. Diplomová práce se zabývá prvně rešerší na téma ozon a ozonované vody a jejich možné aplikace. V dalších částech jsou popsány dva prototypy generátorů DIO3, jež byly sestaveny ve společnosti CSVG a.s. Testování parametrů generátorů na koncentraci rozpuštěného ozonu je taktéž součástí této práce. Dále jsou v práci uvedeny i testy, které byly provedeny ve společnosti ON Semiconductor v Rožnově pod Radhoštěm. V testech je porovnávána účinnost čištění pomocí klasické technologie využívající SPM a pomocí DIO3.
|
|
|
Competitive filling of a plane region
Slabý, David ; Valtr, Pavel (vedoucí práce) ; Valla, Tomáš (oponent)
Dva hráči se střídají v umisťování jednotkových čtverečků na obdélníkovou hrací plochu, bez otáčení, jinak mohou být umístěny libovolně. Čtverečky se nesmí překrývat a hra končí, když už se nedá umístit další. Výsledkem hry je počet tahů. Konstruktor se snaží tento výsledek maximalizovat a destruktor minimalizovat. Cílem této práce je co nejpřesněji určit výsledek hry za předpokladu, že oba hráči použijí optimální strategii. Zde dokážeme nové odhady výsledku hry. Tato práce rozšiřuje výsledky popsané v článku Competitive rectangle filling, jehož autorem je Tamás Hubai. Dále se zabýváme jinými tvary hracích ploch a pokládaných tvarů.
|
|
|
Zpětný překlad vysokoúrovňových konstrukcí jazyka C++
Jakub, Dušan ; Křivka, Zbyněk (oponent) ; Matula, Peter (vedoucí práce)
Práce se zabývá dekompilací konstrukcí vysokoúrovňového objektového jazyka C++ ze strojového kódu. Je definován pojem zpětného překladu a popsány existující zpětné překladače s~důrazem na dekompilaci C++. Dále je představen dekompilátor AVG, v jehož rámci tato práce vznikla. Je analyzován jazyk C++, a to jak na úrovni konstrukcí jazyka, tak na úrovni strojového kódu, a jsou představeny existující metody jeho dekompilace. Na jejich základě je navržen postup dekompilace tříd, jejich hierarchie, konstruktorů, destruktorů a virtuálních metod. Je detekováno i volání virtuálních metod. Navržený postup je implementován, podroben experimentům a zhodnocen. V závěru je nastíněno několik návrhů na další vývoj.
|
host ::
RSS.